61. Finite model theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Model theory
رده :
511
.
34
E15f
1999
62. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter
موضوع : ، Model theory
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
63. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
E23
1999
64. Finite model theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Model theory. ;
65. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jorg Flum
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Model theory
رده :
QA9
.
7
.
E23
1999
66. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jorg Flum
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Model theory
رده :
QA9
.
7
.
E23
1999
67. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jorg Flum
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Model theory
رده :
E-BOOK
68. Finite model theory and its applications
پدیدآورنده : Erich Gradel ... [et al.]&
کتابخانه: كتابخانه پژوهشگاه علوم و فناوری رنگ (تهران)
موضوع : Finite model theory,Computational complexity,Constraint databases
رده :
{
1648
},
06fdfb40a6eef9acf992e8ee6bc47b2a
69. Finite model theory and its applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Finite model theory. ; Computational complexity. ; Constraint databases. ;
70. Finite model theory and its applications
پدیدآورنده : Erich Gradel...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
F565
71. First order categorical logic : model-theoretical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M3
1977
72. First order categorical logic: model-theoretical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
3
.
L28
no
.
611
73. First order categorical logic: model-theorical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
3
.
L28
no
.
611
74. Generalized Expected Utility Theory: the Rank - Dependent Model
پدیدآورنده : Quiggin, John
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
HB
201
.
Q5
G4
1998
75. Group theory for the standard model of particle physics and beyond
پدیدآورنده : / Ken J.Barnes
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Group theory,Quantum theory,Particle range
رده :
539
.
725
B261g
76. Group theory for the standard model of particle physics and beyond
پدیدآورنده : Barnes, Ken J., 8391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Group theory,، Quantum theory,، Particle range )Nuclear physics(
رده :
QC
174
.
17
.
G7B36
77. Group theory for the standard model of particle physics and beyond
پدیدآورنده : / Ken J. Barnes
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Group theory.,Quantum theory.,Particle range (Nuclear physics)
رده :
QC174
.
17
.
G7B37
2010
78. Group theory for the standard model of particle physics and beyond
پدیدآورنده : Barnes, Ken J.
موضوع : ، Group theory,، Quantum theory,، Particle range )Nuclear physics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
79. Group theory for the standard model of particle physics and beyond
پدیدآورنده : Barnes, Ken J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Group theory,، Quantum theory,، Particle range )Nuclear physics(
رده :
QC
174
.
17
.
G7
B37
2010
80. Groups and model theory : in honor of Rudiger Gobel's 70th birthday, May 30-June 3, 2011, Conference Center "Die Wolfsburg", Mulheim an der Ruhr, Germany
پدیدآورنده : Lutz Strungmann ... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Group theory,Congresses ، Model theory
رده :
QA
174
.
G775